منابع مشابه
What the Tortoise said to Achilles.
Practitioners and investigators often view clinical trials from very different perspectives-the former in terms of individuals and the latter in terms of groups. The following whimsical dialogue highlights the philosophical foundations of these contrasting perspectives and illustrates their potential impact on patient care and public policy. The title alludes to a piece by Lewis Carroll regardi...
متن کاملAchilles and the Tortoise Climbing Up the Arithmetical Hierarchy
In this paper we show how to construct for every set P of integers in the arithmetical hierarchy a dynamical system H with piecewise constant derivatives PCD such that deciding membership in P can be reduced to solving the reachability problem between two ratio nal points for H The ability of such apparently simple dynami cal systems whose de nition involves only rational parameters to solve hi...
متن کاملAchilles and the Tortoise Climbing up the Hyper-Arithmetical Hierarchy
In this paper, we characterize the computational power of dynamical systems with piecewise constant derivatives (PCD) considered as computational machines working on a continuous real space with a continuous real time: we prove that piecewise constant derivative systems recognize precisely the languages of the ω th (respectively: ω + 1 th ) level of the hyper-arithmetical hierarchy in dimension...
متن کاملZenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
We propose an extension of the tableau-based first order automated theorem prover Zenon to deduction modulo. The theory of deduction modulo is an extension of predicate calculus, which allows us to rewrite terms as well as propositions, and which is well suited for proof search in axiomatic theories, as it turns axioms into rewrite rules. We also present a heuristic to perform this latter step ...
متن کاملAchilles and the Tortoise Climbing up the Hyper-arithmetical Hierarchy Ecole Normale Supérieure De Lyon Achilles and the Tortoise Climbing up the Hyper-arithmetical Hierarchy
We pursue the study of the computational power of Piecewise Constant Derivative PCD systems started in PCD systems are dynamical systems de ned by a piecewise constant di erential equation and can be considered as computational machines working on a continuous space with a continuous time We prove that the languages recognized by rational PCD systems in dimension d k respectively d k k in nite ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1880
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/os-v.19.386